constraint satisfaction method

un. 限制满足法